Что (кто) такое Определение через абстракцию - определение
УСТАНОВЛЕНИЕ РОДО-ВИДОВОГО СООТВЕТСТВИЯ НАД ПОНЯТИЕМ
Дефиниция; Определение (математика); Интенсиональное определение
ОПРЕДЕЛЕНИЕ ЧЕРЕЗ АБСТРАКЦИЮ
определение абстрактных понятий как классов равных в каком-либо смысле предметов; напр., понятие направления определяется как классы параллельных прямых и т. п.
Определение через абстракцию
способ описания (выделения, "абстрагирования") не воспринимаемых чувственно ("абстрактных") свойств предметов путём задания на предметной области некоторого отношения типа равенства (См. Равенство) (тождества (См. Тождество), эквивалентности (См. Эквивалентность)). Такое отношение, обладающее свойствами рефлексивности (См. Рефлексивность), симметричности (См. Симметричность) и транзитивности (См. Транзитивность), индуцирует разбиение предметной области на непересекающиеся классы (классы абстракции, или классы эквивалентности), причём элементы, принадлежащие одному и тому же классу, неотличимы по определяемому т. о. свойству. Так, например, в политической экономии определяется стоимость (через отношение обмениваемости товаров), в теории множеств - мощность множеств (через отношение теоретико-множественной эквивалентности). О. ч. а. всегда (хотя обычно и неявно) опирается на т. н. принцип абстракции, или принцип свёртывания, согласно которому каждому свойству соотносится класс (множество) объектов, обладающих этим свойством. В практических приложениях этот принцип весьма удобен, естествен и плодотворен; но постулирование его как универсального методологического закона приводит к трудностям, проявляющимся прежде всего в виде Парадоксов (логики и теории множеств). См. Аксиоматический метод, Метаматематика, Непротиворечивость.
ДЕФИНИЦИЯ
и, ж., спец.
Определение какого-нибудь понятия, отражающее его существенные признаки. Точная д. термина.
Википедия
Определение (логика)
Определе́ние, дефини́ция (лат. definitio «предел, граница») — предложение, описывающее смысл слова или фразы; логическая операция, раскрывающая (приписывающая) сущность имени посредством выделения принадлежности к определённому понятию (родовому понятию, генусу, классу) и указания отличительной особенности имени в том классе, в котором оно определено (видовое отличие). Таким образом, определение состоит из родового понятия и видового отличия, или определителя (дифферента).
Согласно Бочарову В. А. и Маркину В. И., определение — это логическая процедура, состоящая в придании строго фиксированного смысла языковым выражениям (терминам языка).
Дефидент (Dfd) — термин, над которым проводится дефиниция.
